Nuprl Definition : sender 11,40

sender(e) == ecase1(e;info;i.;l,e'.e'
latex



clarification:

sender(info;e) == ecase1(e;info;i.;l,e'.e'
latex


Definitions, ecase1(e;info;i.f(i);l,e'.g(l;e'))
FDL editor aliasessender

origin